منابع مشابه
Type homogeneity is not a restriction for safe recursion schemes
We show that for generating trees, order-n pushdown automata are equivalent to order-n incrementally-bound recursion schemes. This generalizes Knapik et al.’s result about equi-expressivity of pushdown automata and safe (i.e., incrementally-bound and homogeneously-typed) recursion schemes [5]. NB: A proof attempt was presented in a previous version of this note. Broadbent has then obtained a wo...
متن کاملOn recursion
It is a truism that conceptual understanding of a hypothesis is required for its empirical investigation. However, the concept of recursion as articulated in the context of linguistic analysis has been perennially confused. Nowhere has this been more evident than in attempts to critique and extend Hauseretal's. (2002) articulation. These authors put forward the hypothesis that what is uniquely ...
متن کاملRecursion on Abstract Structures
We develop and compare two models for computability over an abstract structure. The first, characterized in term of generalized register machines, provides a good theory for a large class of first-order structures. The second, defined in terms of minimal solutions for functional equations, is more versatile and handles many common second-order examples.
متن کاملOn Recursion Operators
We observe that application of a recursion operator of Burgers equation does not produce the expected symmetries. This is explained by the incorrect assumption that D−1 x Dx = 1. We then proceed to give a method to compute the symmetries using the recursion operator as a first order approximation.
متن کاملInduction and Recursion on
This Dagstuhl-Seminar has been attended by 35 computer scientists, logicians, and mathematicians from 14 countries and 5 continents. Since the mid-1970's it had become clear that the calculus of relations is a fundamental conceptual and methodological tool in Computer Science just as much as in Mathematics. A number of seemingly distinct areas of research have in fact this much in common that t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Syntax
سال: 2018
ISSN: 1368-0005
DOI: 10.1111/synt.12149